times

infix operator fun times(other: Int): Int
infix operator fun times(other: NonZeroInt): Int
infix operator fun times(other: PositiveInt): NegativeInt
infix operator fun times(other: StrictlyPositiveInt): NegativeInt
infix operator fun times(other: NegativeInt): PositiveInt
infix operator fun times(other: StrictlyNegativeInt): PositiveInt

Multiplies this value by the other value.